Engineering Mathematical Knowledge
نویسندگان
چکیده
Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS and CDET. That way, we achieve major benefits for mathematical knowledge management: (1) Semantic annotations relate mathematical constructs. This reaches beyond mathematics and thus fosters integration of mathematical content into a broader context. (2) Fine-grained version control enables change management and configuration management. (3) Semi-formal consistency management identifies violations of user-defined consistency requirements and proposes how they can be best resolved.
منابع مشابه
Towards Mathematical Knowledge Management for Electrical Engineering
We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowledge management: We show that mathematical knowledge arising in electrical engineering can be successfully handled by existing MKM systems, namely by the Mizar system. To this end we consider in this paper network theory and in pa...
متن کاملNeuron Mathematical Model Representation of Neural Tensor Network for RDF Knowledge Base Completion
In this paper, a state-of-the-art neuron mathematical model of neural tensor network (NTN) is proposed to RDF knowledge base completion problem. One of the difficulties with the parameter of the network is that representation of its neuron mathematical model is not possible. For this reason, a new representation of this network is suggested that solves this difficulty. In the representation, th...
متن کاملMathematics Computing Environment on the Web
With the rapid development of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific research, mathematical production sharing, mathematical knowledge engineering and mathematical education. In addition, the acquisition of mathematical knowledge and the integration of diversiform mathematical softwar...
متن کاملRelevant Reasoning as the Logical Basis of Knowledge Engineering
Almost all the current knowledge-based systems are directly or indirectly based on classical mathematical logic which gives no guarantee that the conclusion of a reasoning is necessarily relevant to its premises, even if the reasoning is valid in the sense of the classical mathematical logic. It is this problem that causes the ineffectiveness and inefficiency of reasoning and learning engines o...
متن کاملAn Event-driven Cartographic Approach to Modelling Software Engineering Knowledge
This paper proposes an event-based cartographic approach to managing software engineering knowledge that goes beyond the typical yellow-pages paradigm. After proposing a way of modelling knowledge assets, persons in an organisation and various relationships between these elements as a graph, the authors go on to demonstrate how this approach can be useful. Since the model is represented by a ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005